combinatory logic
英
美
网络 组合子逻辑; 合成逻辑; 组合逻辑
双语例句
- The article establishes the model combinatory logic and the succession logic model ( latch and trigger), and finally introduces a simulation example.
文中给出了典型组合逻辑与时序逻辑（锁存器和触发器）宏模型的建立，最后介绍一个仿真实例。 - Automatic generation of combinators in TAC of combinatory logic
合成逻辑TAC中合子的生成 - [ 1,2], this paper presents a formal system, which can implement automatic generation of combinators in TAC of combinatory logic.
本文设计了一个形式系统，它能实现合成逻辑TAC中合子的自动生成。 - The events have been combinatory logic of alarm, control pattern, process mode, operational command and feedback signals.
事件则是报警信息、控制模式、工艺制式、操作命令和反馈信号的组合逻辑。 - Following and being based on the mathematical foundation of the combinatory logic this paper discusses once more the semantics of the functional programming ( FP) language.
本文继文献（1）之后，在合成逻辑这一数学基础上，再次探讨函数式程序设计（FP）语言的语义学。 - An algorithm of combinatory logic optimization based on rough set
基于粗糙集的组合逻辑优化算法 - This paper established γω-calculus which is theoretically based on Curry's combinatory logic ( C logic) while higher than C logic in the language level.
本文创建了γω演算，它在语言层次方面远高于curry合成逻辑（简称C逻辑），但在理论上依然奠基在C逻辑之上。 - This method is easy to understand, specially simplifies, in the combinatory logic circuit design in the Karnaugh map has the certain theory reference value.
该方法通俗易懂，特别在卡诺图化简、组合逻辑电路设计中具有一定的理论参考价值。 - Rough set-based method of combinatory logic optimization was presented by using knowledge expression of logic function with rough set theory, and its corresponding algorithm was given, also.
运用粗集理论对逻辑函数进行知识表达的方法，提出了基于粗糙集的组合逻辑优化方法，并给出了相应的算法。 - Combinatory logic is proposed to be a mathematical foundation of the semantics of programming languages.
本文提出以合成逻辑（Combinatorylogic）作为程序设计语言语义学的数学基础。 - The first layer ( basic layer) is the Curry's combinatory logic.
第一层（基础层）是Curry的合成逻辑。 - The circuit makes full ues of functions of AND circuit, OR circuit and exclusive OR circuit, which turns the more complex judging circuit into simple combinatory logic circuit.
这种电路充分利用与电路、或电路、异或电路的功能，把一个较为复杂的判断电路，变成简单的逻辑组合电路。 - Functional abstraction of combinatory OBS with respect to STRUCTURED-OBJECT templates in combinatory logic
合成逻辑中合成项对于结构对象模板的函数抽象 - The basis of the proposed graph reduction machine is Curry's combinatory logic.
已提出的图归约机的基础是Currg的合成逻辑（简称C逻辑），但是在图归约机中用C逻辑中的组合子定义作为归约规则似乎过于烦琐。